Force shooter process updates to match gtk_widget_draw closely

diff --git a/docs/tools/shooter.c b/docs/tools/shooter.c
index f8df8b57539a32ad79c2d911c61d4b5be6201b4c..eef624215fda85766a7d11b95dfe9d5c1185cfa6 100644 (file)
--- a/docs/tools/shooter.c
+++ b/docs/tools/shooter.c
@@ -208,6 +208,7 @@ int main (int argc, char **argv)
       gtk_widget_queue_draw_area (info->window,
         info->window->allocation.x, info->window->allocation.y,
         info->window->allocation.width, info->window->allocation.height);
+      gdk_window_process_updates (info->window->window, TRUE);
 
       while (gtk_events_pending ())
        {